autoCode4: Structural Controller Synthesis
نویسندگان
چکیده
autoCode4 synthesizes structured reactive controllers from realizable specifications in the GXW subset of linear temporal logic (LTL). Generated reactive controllers are expressed in terms of an intermediate synchronous dataflow (SDF) format, which is further translated, using an open interface, into SCADE/Lustre and Ptolemy II. Moreover, autoCode4 generates and maintains a traceability relation between individual requirements and generated code blocks, as mandated by current standards for certifying safety-critical control code.
منابع مشابه
Neuro-PD Controller of Structural System to Mitigate Earthquake Vibrations
In this paper, stabilization of the structural system against earthquake is presented. Because the conventional PD controller is popular and simple in design, our controller is based on PD controller. The main problem of such a controller is its inability to produce desired response and instability against variations in the properties of the structural system. To obviate this issue, the neu...
متن کاملRobust Controller Design for IG Driven by Variable-Speed in WECS Using μ-Synthesis
This paper presents robust controller design for a wind-driven induction generator system using structured singular value ( -synthesis) method. The controller was designed for a static synchronous compensator (STATCOM) and a variable blade pitch angle in a wind energy conversion system (WECS) in order to achieve the required voltage and mechanical power control. The results indicated that this ...
متن کاملRobust controllers for the Middeck Active Control Experiment using Popov controller synthesis
Abstruct-The purpose of this paper is to demonstrate robust compensators designed using Popov controller synthesis on the Middeck Active Control Experiment (MACE): a Shuttle program scheduled for flight in January, 1995. The experiment has been designed to investigate the extent to which the on-orbit behavior of a precision-controlled spacecraft can be predicted and controlled using analysis an...
متن کاملAn optimal semi-active thermal exchange-Fuzzy logic Controller for Structural Dynamic Control and Rehabilation
The effect of intelligent semi-active thermal exchange-fuzzy controller in structural rehabilitation by attenuating seismic responses of structural systems is investigated. In the suggested control system, MR dampers and sensors are employed as a semi-active controller. Resultant control forces of MR damper are administrated by providing external voltage supply, during the earthquakes and high ...
متن کاملHigh-Level Modeling and Hardware Synthesis Methodology for Discrete-Event /Continuous-Time System
In recent years, the life cycle of industrial products becomes shorter and shorter; the diversity and complexity of functionality are continuously increasing. Thus, conventional methods and techniques of industrial controller design can no longer satisfy the actual demands like smartness, miniaturization, short time-to-market, etc. This paper is devoted to elaborate a methodology for hybrid con...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2017